Semantics of programming languages - PDFSEARCH.IO - Document Search Engine

Semantics of programming languages
Results: 156

#	Item
21	Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-06-22 12:57:54 Software engineering Computing Computer programming Logic in computer science Programming language implementation Functional languages Compiler construction Programming languages Denotational semantics Compiler Lisp Semantics
22	C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Software engineering Computing Computer programming Logic in computer science Formal methods Programming language implementation Functional languages Programming paradigms Partial evaluation Programming language Operational semantics Functional programming
23	Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 1999-11-28 18:07:44 Software engineering Programming language theory Computing Type theory Functional languages Logic in computer science Programming paradigms Models of computation Denotational semantics Type system Programming language Constraint programming
24	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
25	Lightweight Semantics for Automating the Invocation of Web APIs Maria Maleshkova, Carlos Pedrinaci, Ning Li, Jacek Kopecky, John Domingue Knowledge Media Institute (KMi), The Open University {m.maleshkova, c.pedrinaci, n Add to Reading List Source URL: sweet.kmi.open.ac.uk Language: English - Date: 2011-12-17 10:47:10 Web services Computing World Wide Web Application programming interface Web API Web Services Description Language Representational state transfer Web Application Description Language IBM API Management Overview of RESTful API Description Languages
26	Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Indiana University Bloomington Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:54 Type theory Object-oriented programming languages Type systems Cross-platform software High-level programming languages Gradual typing D Python syntax and semantics Duck typing
27	A Study in Higher-Order Programming Languages MS Thesis Morten Rhiger Abstract: This thesis describes some interplays between the specification and the implementation of higher-order programming languages. We first inve Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Source code Programming language implementation Functional languages Logic in computer science Programming language semantics Scheme Semantics Partial evaluation Programming language Macro Interpreter Action semantics
28	A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Claudio Corrodi1,2? , Alexander Heußner3 , and Christopher M. Poskitt1,4? Department of Computer Science, ETH Zürich, Switzerland Software Composit Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2016-03-01 11:02:40 Software engineering Computing Computer programming Logic in computer science Object-oriented programming languages Programming language semantics SCOOP Semantics Eiffel Operational semantics Concurrency Actor model
29	Reprinted from Proceedings of the 2010 ACM Symposium on Principles of Programming Languages (POPL’10) Automatically Generating Instruction Selectors Using Declarative Machine Descriptions Jo˜ao Dias Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2010-03-12 16:07:46 Hoare logic Static program analysis Predicate transformer semantics
30	Programming Cryptographic Protocols? Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, and Brian T. Sniffen The MITRE Corporation Abstract. Cryptographic protocols are useful for trust engineering in Add to Reading List Source URL: evenmere.org Language: English - Date: 2008-06-23 12:11:50 Formal languages Interpretation Philosophy of mind Semantics Communications protocol Model theory Digital signature